System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints

Runtime Verification of Timing Constraints

The necessity for reusing software components in embedded systems becomes significant due to the ever-increasing software complexity, product diversification and market pressure. In order to facilitate the reuse of components we have developed the CCOM (Component and Contract Oriented Modeling) language for the specification and the composition of embedded components. Nonfunctional constraints,...

Runtime verification of programs using rule-based active system

Runtime verification and monitoring of embedded systems

Ensuring the correctness of software applications is a difficult task. The area of runtime verification, which combines the approaches of formal verification and testing, offers a practical but limited solution that can help in finding many errors in software. Runtime verification relies upon tools for monitoring software execution. There are particular difficulties with regard to monitoring em...

Runtime Verification with the RV System

The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring Oriented Programming system developed at the University of Illinois [6, 7, 9, 21, 5], while the Predictive Analysis capability is a vastly expanded version of the jPredictor System also developed at the University of I...

Quantitative Non-diagonal Regulator Design for Uncertain Multivariable System with Hard Time-domain Constraints

In this paper a non-diagonal regulator, based on the QFT method, is synthesized for an uncertain MIMO plant whose output and control signals are subjected to hard time-domain constraints. This procedure includes the design of a non-diagonal pre-controller based on a new simple approach, followed by the sequential design of a diagonal QFT controller. We present a new formulation for the latter s...